Transposing F to C (preliminary Report)
نویسندگان
چکیده
We present a type-preserving translation of the polymorphic lambda calculus (System F) into an extension of the C programming language supporting parameterized classes and polymorphic methods. We observe that whilst parameterized classes alone are sufficient to encode the parameterized datatypes and letpolymorphism of languages such as ML and Haskell, it is the presence of polymorphic virtual methods that allow the encoding of the “first-class polymorphism” found in System F and recent extensions to ML and Haskell.
منابع مشابه
Preliminary report on a late Tortonian/Messinian balaenopterid cetacean (Mammalia, Mysticeti) from Sistan and Baluchestan Province (Iran)
In this study we present the first description of a mysticete skeleton from the late Tortonian to Messinian greyish-green marl of the Coastal Makran, south of Negour in Chahbahar County, Sistan and Baluchestan Province. This specimen is neither completely excavated, nor completely prepared, and therefore all our findings are preliminary. The identifiable components of this fossil thus far consi...
متن کاملI-8: A Preliminary Report on Production of Organ Deficient Goats at Royan Institute of Biotechnology
Shortage of transplantable organs available for people with endstage diseases has become goal of scientific project worldwide to find new approaches for providing the needed organs. These projects have mainly focused on complementation of pig embryo genetically manipulated or designed to produce an organ deficient embryo. Considering the fact that pig is not the common domestic animal in Middle...
متن کاملCombinatorial Formulae for Grothendieck-demazure and Grothendieck Polynomials
∂if = f− sif xi − xi+1 where si acts on f by transposing xi and xi+1 and let π̃i = ∂i(xi(1− xi+1)f) Then the Grothendieck-Demazure polynomial κα, which is attributed to A. Lascoux and M. P. Schützenberger, is defined as κα = x α1 1 x α2 2 x α3 3 ... if α1 ≥ α2 ≥ α3 ≥ ..., i.e. α is non-increasing, and κα = π̃iκαsi if αi < αi+1, where si acts on α by transposing the indices. Example 2.1. Let α = (...
متن کاملPeri-Operative High-Dose v Post-Operative Low Dose Steroid Therapy in the Management of Biliary Atresia: a Preliminary Report
Background: The use of high-dose steroid therapy peri portoenterostomy may have a positive impact on the frequency of cholangitis and survival rate. Methods: A prospective study was conducted on two groups of patients (less than three months of age) suffering from biliary atresia from 1999 to 2005. The patients in group I (G I) were managed peri-operatively by high-dose methylprednisolone while...
متن کاملGamma background radiation in Yazd province A preliminary report
ABSTRACTBackground: There are relatively rich uranium mines in regions of Saghand and Bafgh in Yazd province. This survey was carried out to provide a map of ambient gamma radiation of Yazd province and the probable effects of the existence of these mines on background radiation dose rates.Materials and Methods: The measurements of the outdoor and indoor–environmental exposures (including cosm...
متن کامل